1. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
L28
Vol
.
2500
2. Automata, logics, and infinite games
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
3. Automata, logics, and infinite games
Author: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
Classification :
QA
,
76
.
9
,.
M35
,
A85
,
2002
4. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
9
.
M35
A85
2002
5. Elements of the theory of computation
Author: / Harry R. Lewis, Christos H. Papadimitriou
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
Classification :
QA267
.
L49
1998
6. Elements of the theory of computation
Author: Lewis, Harry R
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
267
.
L49
7. Elements of the theory of computation
Author: / Harry R. Lewis, Christos H. Papadimitriou
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
Classification :
QA267
.
L49
1998
8. Elements of the theory of computation
Author: Lewis, Harry R.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Machine theory , Formal languages , Computational complexity , Logic, Symbolic and mathematical
Classification :
QA
267
.
L49
1998
9. Elements of the theory of computation
Author: Lewis, Harry R.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
267
.
L49
10. Elements of the theory of computation
Author: Lewis, Harry R.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
267
.
L49
11. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Elements of the theory of computation
Author: Lewis, Harry R
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
267
.
L49
13. Elements of the theory of computation /
Author: Harry R. Lewis, Christos H. Papadimitriou
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
Classification :
QA267
.
L49
1998
14. Elements of the theory of computation /Harry R. Lewis, Christos H. Papadimitriou.
Author:
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Machine theory.,Formal languages.,Computational complexity.,Logic, Symbolic and mathematical.
Classification :
QA
267
.
L49
2007
15. Finite automata, formal logic, and circuit complexity
Author: Straubing, Howard, 2591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
Classification :
QA
76
.
9
.
M35S77
16. Logic and automata
Author: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
Classification :
QA
,
267
,.
L624
,
2008
17. Logic and automata
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
18. Logic, computers, and sets
Author: Wang, Hao, 1291-5991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Machine theory
Classification :
QA
9
.
W35
1970
19. Logic functions and equations :
Author: Christian Posthoff, Bernd Steinback.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.,Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.
Classification :
QA10
.
3
.
P67
2019
20. Mathematical foundations of programming /
Author: Frank S. Beckman
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages,Logic, Symbolic and mathematical,Machine theory
Classification :
QA9
.
B36
